machine-created halting

См. также в других словарях:

• Turing machine — For the test of artificial intelligence, see Turing test. For the instrumental rock band, see Turing Machine (band). Turing machine(s) Machina Universal Turing machine Alternating Turing machine Quantum Turing machine Read only Turing machine… …   Wikipedia

• Counter machine — A counter machine is an abstract machine used in formal logic and theoretical computer science to model computation. It is the most primitive of the four types of register machines. A counter machine comprises a set of one or more unbounded… …   Wikipedia

• Post–Turing machine — The article Turing machine gives a general introduction to Turing machines, while this article covers a specific class of Turing machines. A Post–Turing machine is a program formulation of an especially simple type of Turing machine, comprising a …   Wikipedia

• Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… …   Wikipedia

• Going Postal — infobox Discworld|id=33rd novel ndash; 1st Moist von Lipwig story characters=Moist von Lipwig locations=Ankh Morpork motifs=Fantasy, Redemption, Post office year=2004 publisher=Doubleday ISBNH=ISBN 0 385 60342 8 ISBNP=ISBN 0 552 14943 8 awards=… …   Wikipedia

• Shinichirō Kurei — Infobox animanga character name = Shinichirō Kurei series = Tenjho Tenge caption = Shinichirō Kurei in the manga. first = Volume 9, Page 139 last = creator =Oh! great voiced by = oaux* name = oaux* = nickname = alias = age = gender = species =… …   Wikipedia

• Russia — /rush euh/, n. 1. Also called Russian Empire. Russian, Rossiya. a former empire in E Europe and N and W Asia: overthrown by the Russian Revolution 1917. Cap.: St. Petersburg (1703 1917). 2. See Union of Soviet Socialist Republics. 3. See Russian… …   Universalium

• Tag system — A tag system is a deterministic computational model published by Emil Leon Post in 1943 as a simple form of Post canonical system. A tag system may also be viewed as an abstract machine, called a Post tag machine (not to be confused with Post… …   Wikipedia

• computer — computerlike, adj. /keuhm pyooh teuhr/, n. 1. Also called processor. an electronic device designed to accept data, perform prescribed mathematical and logical operations at high speed, and display the results of these operations. Cf. analog… …   Universalium

• Agriculture and Food Supplies — ▪ 2007 Introduction Bird flu reached Europe and Africa, and concerns over BSE continued to disrupt trade in beef. An international vault for seeds was under construction on an Arctic island. Stocks of important food fish species were reported… …   Universalium

• History of the British Army — The history of the British Army spans over three and a half centuries and numerous European wars, colonial wars and world wars. From the early 19th century until 1914, the United Kingdom was the greatest economic and Imperial Power in the world,… …   Wikipedia